(deftemplate multime(slot nume)(slot elemente)(slot descriere)(slot submultime))

(assert (multime(nume A)(elemente 1)(descriere null)(submultime C)))
(assert (multime(nume A)(elemente 2)(descriere null)(submultime C)))
(assert (multime(nume A)(elemente 3)(descriere null)(submultime C)))
(assert (multime(nume A)(elemente 4)(descriere null)(submultime C)))
(assert (multime(nume A)(elemente 5)(descriere null)(submultime C)))

(assert (multime(nume B)(elemente albastru)(descriere null)(submultime null)))
(assert (multime(nume B)(elemente verde)(descriere null)(submultime null)))
(assert (multime(nume B)(elemente rosu)(descriere null)(submultime null)))
(assert (multime(nume B)(elemente galben)(descriere null)(submultime null)))
(assert (multime(nume B)(elemente negru)(descriere null)(submultime null)))

(assert (multime(nume C)(elemente x)(descriere "x>=0 , x apartine R")(submultime null)))

(facts)